Formal Description of Autopoiesis for Analytic Models of Life and Social Systems Tatsuya Nomura Faculty of Management Information, Hannan University, 5{4{33, Amamihigashi, Matsubara, Osaka 580{8502, Japan

Source URL: www.rikou.ryukoku.ac.jp

Call for Papers ACM Transactions on Intelligent Systems and Technology (ACM TIST) Special Issue of on SEARCH AND MINING USER GENERATED CONTENTS

Source URL: tist.acm.org

• Data mining
• Computing
• Information
• Data analysis
• Digital media
• Formal sciences
• Web mining
• World Wide Web
• Text mining
• Recommender system
• Social media
• Social media mining

SRL challenge: Extracting proof strategies from exemplar proofs Gudmund Grov, Katya Komendantskaya, Alan Bundy Statistical Relational Learning Workshop 30 June 2012

Source URL: www.ai4fm.org

• Theoretical computer science
• Software
• Logic
• Proof assistants
• Automated theorem proving
• Formal systems
• Logical truth
• Proof theory
• Isabelle
• ACL2
• Coq
• Proof

Biology and Philosophy 14: 83–101, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Causality in Complex Systems ANDREAS WAGNER University of New Mexico

Source URL: www.ieu.uzh.ch

• Philosophy
• Academia
• Metaphysics
• Causality
• Philosophy of science
• Formal sciences
• Control theory
• Causal inference
• Mathematical model
• Mathematical and theoretical biology
• Nonlinear system
• Ceteris paribus

A review of the Curry-Howard-De Bruijn formulas-as-types interpretation Herman Geuvers Foundations group, Intelligent Systems, ICIS Radboud University Nijmegen The Netherlands

Source URL: www.cs.ru.nl

• Mathematics
• Philosophy of mathematics
• Logic
• Philosophy
• Mathematical logic
• Epistemology
• Formal sciences
• Constructivism
• Foundations of mathematics
• Intuitionism
• Finitary
• Formalism

QLectives – Socially Intelligent Systems for Quality Project noInstrument: Large-scale integrating project (IP) Programme: FP7-ICT Deliverable D2.3.1 Report on the deployment of protocols in living lab environ

Source URL: qlectives.eu

• Software
• File sharing
• Applied mathematics
• Formal sciences
• Structure
• Peer-to-peer
• Artificial neural network
• Data mining
• Algorithm
• Social peer-to-peer processes
• Tribler

A myth about formal logic logic and psychology Reasoning systems An empirical study of deontic reasoning Discussion

Source URL: modalityandmodalities.weebly.com

Edited CollectionsH. Jürgensen, J. Karhumäki, A. Okhotin (editors): Descriptional Complecity of Formal Systems. 16th International Workshop, DCFS 2014, Turku, Finland, August 5–8, 2014, Proceedings. Lecture No

Source URL: www.csd.uwo.ca

Philosophy of Computer Science: PoC Meets AI and Law (Roundtable Discussion) Organized by Rainhard Bengez, TU Muenchen, Germany () Raymond Turner, University of Essex, UK ()

Source URL: events.cs.bham.ac.uk

• Academia
• Knowledge
• Engineering
• Abstraction
• Philosophy of artificial intelligence
• Formal sciences
• Complex systems theory
• Computer engineering
• Computer science
• Philosophy of information
• Philosophy
• Mathematics

Methods for Estimating End of Life Electronics Exports from North America T. Reed Miller, Jeremy Gregory, and Randolph Kirchain. MIT Materials Systems Laboratory Formal Remanufacturing and Recycling

Source URL: msl.mit.edu